#include <stdio.h>
//1 2 3 4 5 6  7  8  9
//1 2 3 4 6 9 13 18  24   
// 1 1 1 2 3 4  5   6
int main()
{
	int n;
	scanf("%d",&n);
	int ch[n];
	ch[0]=1;
	ch[1]=1;
	ch[2]=2;
	ch[3]=3;
	ch[4]=4;
	int count =1;
	for(int i=4;i<=n;i++)
	{
		ch[i]=ch[i-1]+count;
		count++;
	}
//	for(int j=1;j<=n;j++)
//	{      
//		printf("%d ",ch[j]);
//	}      
	printf("%d",ch[n]);
	return 0;
}

//int main()
//{
//	int n;
//	while(1)
//	{
//	scanf("%d",&n);
//	if(n==0)
//	break;
//	int ch[n];
//	ch[0]=1;
//	ch[1]=1;
//	ch[2]=2;
//	ch[3]=3;
//	ch[4]=4;
//	int count =1;
//	for(int i=4;i<=n;i++)
//	{
//		ch[i]=ch[i-1]+count;
//		count++;
//	}
////	for(int j=1;j<=n;j++)
////	{      
////		printf("%d ",ch[j]);
////	}      
//	printf("%d\n",ch[n]);
//	}
//	return 0;
//}

